Example exc-074

Prev: exc-073

Next: exc-075

a 1a a

<math>
<apply><forall/>
<bvar><ci>a</ci></bvar>
<apply><eq/>
<apply><times/><cn>1</cn><ci>a</ci></apply>
<ci>a</ci>
</apply>
</apply>
</math>