Тигеҙлектең һул яғында каноник тарҡалмаға 2 һаны йоп дәрәжәлә инә, ә 2n2 тарҡалмаһына — таҡ дәрәжәлә. Шуға күрә m2=2n2 тигеҙлеге мөмкин түгел. Тимәк, баштағы уйланылған фекер дөрөҫ булмаған, һәм  — иррациональ һан.