Theorem *54·43 from Whitehead and Russell’s Principia Mathematica