Principia Prop. I.17 cor 1b