Propostion:
If S1, S2, S3 ... Sn is a series of numbers in continuous proportion
where S2 greather than S1, and S2 is not measured by S1,
then Sj is not measured by Si for any integer i,j
PDFs:
https://github.com/sandy-bultena/Euclid/tree/master/Propositions/PDFs
