互いに素
$ \forall a,b,q\in\Zにて、$ aと$ bが互いに素とは、以下の論理式で定義される性質のことである
$ a\bot b:\iff\forall q\in\Z;\left((a\equiv b\equiv0\pmod{q})\implies |q|=1\right)
$ \forall a,b\in\Z;a\equiv b\equiv0\pmod{1}が成り立つので、以下のように書いてもいい
$ a\bot b\iff\forall q\in\Z;\left((a\equiv b\equiv0\pmod{q})\iff |q|=1\right)
……あまり変わらないか