In any triangle the greater angle is subtended by the greater side.
Let
be a triangle having the angle
greater than the angle
;
I say that the side
is also greater than the side
.
For, if not,
is either equal to
or less.
Now
is not equal to
;
for then the angle
would also have been equal to the angle
; [Prop. 1.5]
but it is not;
therefore
is not equal to
.
Neither is
less than
,
for then the angle
would also have been less than the angle
; [Prop 1.18]
but it is not;
therefore
is not less than
.
And it was proved that it is not equal either.
Therefore
is greater than
.
Therefore etc.
Q.E.D.