The proof of correctness for this test presented here is simpler than the original proof given by Lehmer.
Dowód poprawności testu przedstawiany tutaj jest prostszy niż oryginalny dowód podany przez Lehmera.