Zauważmy, że

ponieważ  dla nieparzystych  Zatem  przy dzieleniu przez  daje taką samą resztę jak składnik odpowiadający  który wynosi  Zatem  jest podzielne przez  wtedy i tylko wtedy, gdy  jest podzielne przez  Ponieważ  i   są względnie pierwsze, względnie pierwsze są również  i   Stąd otrzymujemy tezę.