ABC and AMP are two right triangles