доказателство с питагорови тройки