1 1 2 Proof Principia Mathematica