how to prove two overlapping triangles - Search