The A-vertex A' of the Johnson triangle is the inverse of A in the circle having BC as diameter.