Siguin A', B', C' els simètrics dels vèrtexs A, B, C respecte una recta r. Les perpendiculars per A' a BC, per B' a CA, per C' a AB són concurrents.