>>417
君、定理のステートメントってどの部分か知ってる?