Example exc-230
Prev:
exc-229
Next:
exc-231
1729
<math> <apply><in/> <cn type="integer">1729</cn> <naturalnumbers/> </apply> </math>