Example exc-076

Prev: exc-075

Next: exc-077

a 0a 0

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