Let formula_35 and formula_61 It then follows that formula_62 because there is no vertex that lies in the formula_46-balls of both formula_64 and formula_65 It is also true that formula_66 because no vertex in the formula_46-ball of formula_64 can be adjacent to a vertex in the formula_46-ball of formula_65