axiom of choice

jas@jtpmath.com