Gauss'un Pisagor dik üçgen önerisi