したがってたとえば、(a→a→STOP)◻(a→b→STOP){\displaystyle\left(a\rightarrowa\rightarrowSTOP\right)\Box\left(a\rightarrowb\rightarrowSTOP\right)}は次と等価である。
因为m|(a−b){\displaystylem|(a-b)}，所以n|(a−b)⇒a≡b(modn){\displaystylen|(a-b)\Rightarrowa\equivb{\pmod{n}}}。