Example exc-096

Prev: exc-095

Next: exc-097

x x1 x

<math>
<apply><forall/>
  <bvar><ci>x</ci></bvar>
    <apply><eq/>
        <apply><lcm/><ci>x</ci><cn>1</cn></apply>
        <ci>x</ci>
    </apply>
</apply>
</math>