r222
El A-vértice del triángulo de Johnson es concíclico con B, C y el ortocentro H.