合同数の証明過程で
a^4+4*b^4 が平方数にならないことを示したいのですが、どのようにすればよいですか?