true/orthocenter-mirror-are-concyclic2.ggb