Substitute tangent およびaltitude equations inへreflecti上のmap; cyclic 置換 gives three pairwise intersections.