r222
L'A-vèrtex del triangle de Johnson és concíclic amb B, C i l'ortocentre H.