x .--> G = {[x,G]} by FUNCT_4:82;
hence ( x .--> G is vertex-disjoint & x .--> G is edge-disjoint ) ; :: thesis: verum