Udowodnijmy najpierw implikację:

Załóżmy, że zarówno , jak i  są liczbami nieparzystymi. 

Możemy więc je zapisać w postaci:

 oraz , gdzie 

Obliczmy ich iloczyn:

Przemnóżmy