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