r837	Miquel associate point, isogonal points
r838	isogonal points, isotomic complement
r840	cevian triangle, perspective, tangential triangle
r1632	cevian triangle, perspective
r1816	cevian triangle, circumcevian triangle, perspective