r1128
El simediano K de ABC también es el simediano de su triángulo circunceviano ZaZbZc.