Si una recta r passa per l'ortocentre H, les rectes simètriques de r respecte els costats són concurrents a un punt de la circumferència circumscrita.