回答：
下記参照。
説明：
作る #a = 2k + 1# そして #b = 2k + 3# それがあります
#a ^ b + b ^ a = 0 mod（a + b）# そして NNの#k ^ +# それがあります #a# そして #b# コプライムです。
作る #k + 1 = n# 我々は持っています
#（2n-1）^（2n + 1）+（2n + 1）^（2n-1）= 0 mod 4# 容易に示すことができるように。
またそれを簡単に示すことができます
#（2n-1）^（2n + 1）+（2n + 1）^（2n-1）equiv 0 mod n# そう
#（2n-1）^（2n + 1）+（2n + 1）^（2n-1）equiv 0 mod 4n# そしてそれ故に、 #a = 2k + 1# そして #b = 2k + 3#
#a ^ b + b ^ a = 0 mod（a + b）# と #a# そして #b# コプライム。
結論は
…無限の数の異なるペアがあること #（a、b）# 素数の整数 #a> 1# そして #b> 1# そのような #a ^ b + b ^ a# で割り切れる #a + b#.
