Principia_Mathematica_theorem