If this is the same as this, and this is the same in both triangles, we know that this side must be the same thing as this side, which also must be the same thing as this side and this side over here. 