Pierwsza implikacja:

Załóżmy, że  i  to liczby nieparzyste, wtedy:

Ich iloczyn wynosi:

Pozostaje reszta jeden, więc założenie zaprzecza tezie, więc nie