r521
The Simson line of the isogonal of the infinite point of a line r is orthogonal to r.