Example ex4-171

Prev: ex4-170

Next: ex4-172

A 5

<math>
<apply>
  <eq/>
  <apply><card/>
    <ci> A </ci>
  </apply>
  <ci> 5 </ci>
</apply>
</math>