一道好难得数学题证明:X的平方加上1994等于Y的平方,没有整数解.