Example exc-233
Prev:
exc-232
Next:
exc-234
17
<math> <apply> <in/> <cn type="integer">17</cn> <primes/> </apply> </math>