теңдігінен
екендігі шығады, мұндағы m және n – бүтін оң сандар және (m, 2n) = 1. Бірақ (17) теңдіктен