Example ex4-118

Prev: ex4-117

Next: ex4-119

x x x 0

<math>
<apply>
  <forall/>
  <bvar><ci> x </ci></bvar>
  <apply><eq/>
    <apply>
      <minus/><ci> x </ci><ci> x </ci>
    </apply>
    <cn>0</cn>
  </apply>
</apply>
</math>