To prove that the triangles are similar by the SAS similarity theorem, it needs to be proven that