如何解决需要帮助来开始模块化一致性证明
(∀a,b∈Z)a 2 + b 2 − 3≡|≡0 mod 4。 嗨,我不太确定从哪里开始证明,只需要一些有关如何实现这一点的指示即可。
解决方法
a = b = 3给出9 + 9-3 = 15,这等于0 mod 3,从而反驳了您的说法。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。