勾股定理的题设是?结论是?