Phát biểu định lý Pytago đảo.

Định lý Pythagoras đảo (hay còn gọi là định lý thứ nhất của hình học không Euclide) nói rằng: "Nếu trong một tam giác vuông, độ dài ba cạnh không phải là các số nguyên tố cùng nhau, thì tam giác đó không phải là tam giác vuông có số đo góc vuông là một số nguyên tố."