DivmodAxiom : Examples

jethro@divmod.org