7058PROMOTVS
minuitur;
ergo quod fit ex EK, &
FV, æquale erit ei quod fit ex G, &
EK, vna cum eo quod ex H, & K, minus eo quod fit ex G, & K. aufe-
ratur vtrinque id quod fit ex G, & EK, quod igitur fit ex FV, & EK,
23[Figure 23] minus eo quod ex G, &
EK, æquabitur ei quod
ex H, & K, minus eo
quod fit ex G, & K, ſed
quod fit ex H, & K,
minus eo quod fit ex
G, & K, æquale eſt ei
quod ex differentia ip-
ſarum H, G, fit & K,
ſimiliter, & quod fit ex
FV, & EK, minus eo
quod ex G, & EK,
æquale eſt ei quod ex
differentia ipſarum
FV, G, fit & EK, ergo
quod ex differentia
ipſarum H, G, fit & K, æquale erit ei quod ex differentia ipſarum
FV, G, fit & EK; æqualitatem ad proportionem reuocando, erit vt
differentia grauitatum H, G, ad grauitatem EK, ita differentia
grauitatum FV, G, ad grauitatem K, quod erat primo loco: demon-
ſtrandum.
EK, vna cum eo quod ex H, & K, minus eo quod fit ex G, & K. aufe-
ratur vtrinque id quod fit ex G, & EK, quod igitur fit ex FV, & EK,
23[Figure 23] minus eo quod ex G, &
EK, æquabitur ei quod
ex H, & K, minus eo
quod fit ex G, & K, ſed
quod fit ex H, & K,
minus eo quod fit ex
G, & K, æquale eſt ei
quod ex differentia ip-
ſarum H, G, fit & K,
ſimiliter, & quod fit ex
FV, & EK, minus eo
quod ex G, & EK,
æquale eſt ei quod ex
differentia ipſarum
FV, G, fit & EK, ergo
quod ex differentia
ipſarum H, G, fit & K, æquale erit ei quod ex differentia ipſarum
FV, G, fit & EK; æqualitatem ad proportionem reuocando, erit vt
differentia grauitatum H, G, ad grauitatem EK, ita differentia
grauitatum FV, G, ad grauitatem K, quod erat primo loco: demon-
ſtrandum.
Dico quoque vt differentia grauitatum H, G, ad grauitatem EK,
ita eſſe differentiam grauitatum H, FV, ad grauitatem E. Quoniam
enim oſtenſum eſt, quod fit ex EK, & FV, æquale eſſe ei quod ex G, fit
& E, vna cum eo quod ex H, & K, quod autem fit ex H, & K, æquatur
ei quod ex H, fit & EK, minus eo quod ex H, & E, quod enim additur
idem & minuitur: ergo quod fit ex EK, & FV, æquale erit ei quod fit
ex H, & EK, vna cum eo quod ex G, & E, minus eo quod ex H, & E.
addatur vtrinque quod ex H, fit & E, & ſubducantur ea quæ fiunt ex
G, & E, & ex EK, & FV; quod igitur fit ex H, & E, minus eo quod cx
G, & E, æquabitur ei quod ex H, fit & EK, minus eo quod ex FV, &
EK, ſed quod fit ex H, & E, minus eo quod ex G, & E, æquale eſt ei
quod ex differentia ipſarum H, G, fit & E, ſimiliter & quod ex H, fit
& EK, minus eo quod ex FV, & EK, æquale eſt ei quod ex differentia
ipſarum H, FV, fit & EK; ergo quod ex differentia ipſarum H, G, fit
& E, æquabitur ei quod ex differentia ipſarum H, FV, fit & EK; qua-
re æqualitatem ad proportionĕ reuocando erit vt differentia
ita eſſe differentiam grauitatum H, FV, ad grauitatem E. Quoniam
enim oſtenſum eſt, quod fit ex EK, & FV, æquale eſſe ei quod ex G, fit
& E, vna cum eo quod ex H, & K, quod autem fit ex H, & K, æquatur
ei quod ex H, fit & EK, minus eo quod ex H, & E, quod enim additur
idem & minuitur: ergo quod fit ex EK, & FV, æquale erit ei quod fit
ex H, & EK, vna cum eo quod ex G, & E, minus eo quod ex H, & E.
addatur vtrinque quod ex H, fit & E, & ſubducantur ea quæ fiunt ex
G, & E, & ex EK, & FV; quod igitur fit ex H, & E, minus eo quod cx
G, & E, æquabitur ei quod ex H, fit & EK, minus eo quod ex FV, &
EK, ſed quod fit ex H, & E, minus eo quod ex G, & E, æquale eſt ei
quod ex differentia ipſarum H, G, fit & E, ſimiliter & quod ex H, fit
& EK, minus eo quod ex FV, & EK, æquale eſt ei quod ex differentia
ipſarum H, FV, fit & EK; ergo quod ex differentia ipſarum H, G, fit
& E, æquabitur ei quod ex differentia ipſarum H, FV, fit & EK; qua-
re æqualitatem ad proportionĕ reuocando erit vt differentia