mn是奇偶性相同的自然数证(a^m+b^m)(a^n+b^n)