The Johnson triangle AjBjCj is inscribed in the orthocentroidal circle.