Example exc-072

Prev: exc-071

Next: exc-073

a b b0 a b ab a b

<math>
<apply><forall/>
<bvar><ci>a</ci></bvar>
<bvar><ci>b</ci></bvar>
<condition><apply><neq/><ci>b</ci><cn>0</cn></apply></condition>
<apply><eq/>
<ci>a</ci>
<apply><plus/>
<apply><times/>
        <ci>b</ci>
        <apply><quotient/><ci>a</ci><ci>b</ci></apply>
</apply>
<apply><rem/>
     <ci>a</ci>
     <ci>b</ci>
</apply>
</apply>
</apply>
</apply>
</math>