there is a route via city C such that AC⊥CB