Example exc-222

Prev: exc-221

Next: exc-223

n n

<math>
<apply><implies/>
  <apply><in/><ci>n</ci><integers/></apply>
  <apply><in/><apply><minus/><ci>n</ci></apply><integers/></apply>
</apply>
</math>