By definition (ignoring u1 and u2), a symmetric graph without isolated vertices must also be vertex-transitive.
За визначенням (ігноруючи u1 і u2), симетричний граф без ізольованих вершин має також бути вершинно-транзитивним.