Example ex4-210
Prev:
ex4-209
Next:
ex4-211
1729
<math> <apply> <in/> <cn type="integer">1729</cn> <naturalnumbers/> </apply> </math>