Example exc-220

Prev: exc-219

Next: exc-221

n n1

<math>
<apply><implies/>
  <apply><in/><ci>n</ci><integers/></apply>
  <apply><in/><apply><plus/><ci>n</ci><cn>1</cn></apply><integers/></apply>
</apply>
</math>