Example exc-228

Prev: exc-227

Next: exc-229

n n n1

<math>
<apply><forall/>
  <bvar><ci>n</ci></bvar>
  <apply><implies/>
    <apply><in/><ci>n</ci><naturalnumbers/></apply>
    <apply><in/><apply><plus/><ci>n</ci><cn>1</cn></apply><naturalnumbers/></apply>
  </apply>
</apply>
</math>