r1128
The symmedian K of ABC is also the symmedian of its circumcevian triangle ZaZbZc.