Proposition: Prop. 10.016: Incommensurability of Sum of Incommensurable Magnitudes
(Proposition 16 from Book 10 of Euclid's “Elements”)
If two incommensurable magnitudes are added together then the whole will also be incommensurable with each of them. And if the whole is incommensurable with one of them then the original magnitudes will also be incommensurable (with one another).
Modern Formulation
(not yet contributed)
Table of Contents
Proofs: 1
 Lemma: Lem. 10.016: Incommensurability of Sum of Incommensurable Magnitudes
Mentioned in:
Proofs: 1 2 3 4 5 6 7 8 9 10
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
 Fitzpatrick, Richard: Euclid's "Elements of Geometry"
Adapted from CC BYSA 3.0 Sources:
 Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016