Proposition:
If there are two series of equal length, of type
1 to p^(n-1) and
1 to q^(n-1),
then there will exist another series of equal length of the form
p^(n-1) and q^(n-1)
PDFs:
https://github.com/sandy-bultena/Euclid/tree/master/Propositions/PDFs
