Arnauld's paradox states that if negative numbers exist, then must equal
Wells, D. The Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England: Penguin Books, p. 22, 1986.