Example exc-230

Prev: exc-229

Next: exc-231

1729

<math>
<apply><in/>
  <cn type="integer">1729</cn>
  <naturalnumbers/>
</apply>
</math>