Principia Mathematica 1 1 2 Proof