Principia Bk. I Prop 17