需要帮助来开始模块化一致性证明

问题描述

（∀a，b∈Z）a ² + b ² − 3≡|≡0 mod 4。 嗨，我不太确定从哪里开始证明，只需要一些有关如何实现这一点的指示即可。

解决方法

a = b = 3给出9 + 9-3 = 15，这等于0 mod 3，从而反驳了您的说法。