Example exc-221

Prev: exc-220

Next: exc-222

0

<math>
<apply><in/><cn>0</cn><integers/></apply>
</math>