Example ex4-212
Prev:
ex4-211
Next:
ex4-213
17
<math> <apply> <in/> <cn type="integer">17</cn> <primes/> </apply> </math>