I.22 Proposition I.22
Out of three straight lines, which are equal to three given straight lines, to construct a triangle: thus it is necessary that two of the straight lines taken together in any manner should be greater than the remaining one.
Proof
Apply I.20 (the necessity), then I.3 and Postulate 3 (the
construction).
lines 74–74 in main.tex