EGMO Problema 1 - Sobre dos circuncentros y demostrar que una línea es perpendicular