Example ex4-218

Prev: ex4-217

Next: ex4-219


<math>
  <apply>
    <neq/>
    <integers/>
    <emptyset/>
  </apply>
</math>