Như vậy ta có một tam giác vuông cân nhỏ hơn với cạnh huyền và cạnh bên . Chúng nhỏ hơn và nhưng có cùng tỉ lệ, trái với giả thiết là là tối giản. Do đó, và không thể cùng là số nguyên, nên .