Principia Prop. 16 corollaries