r1310
The Johnson triangle AjBjCj is inscribed in the orthocentroidal circle.