Example exc-233

Prev: exc-232

Next: exc-234

17

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