Abstract Mathematics Without Choice Division by Three - arxiv.org