Let ABC be a triangle, having the angle ABC equal to the angle ACB :
then shall the side AC be equal to the side AB.
Construction. For if AC be not equal to AB, one of them must be greater than the other.
If possible, let AB be the greater; and from it cut off BD equal to AC.Join DC.
Then in the triangles DBC, ACB, DB is equal to AC,and BC is common to both, also the contained angle DBC is equal to the contained angle ACB ; therefore the triangle DBC is equal in area to the triangle ACB, the part equal to the whole; which is absurd.
Therefore AB is not unequal to AC ; that is, AB is equal to AC.