Comment by yablak

Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it