Example ex4-212

Prev: ex4-211

Next: ex4-213

17

<math>
<apply>
  <in/>
  <cn type="integer">17</cn>
  <primes/>
</apply>
</math>