Bertrand Russell Proof 1 1 2