If two triangles have two sides equal to two sides respectively, but have one of the angles contained by the equal straight lines greater than the other, then they also have the base greater than the base.
Let AB = DE, AC = DF, and angle BAC > angle EDF.
We prove BC > EF.