ordered by inclusion of graphs, formula_29 it's then standard to show that every chain in formula_30 has an upper bound in formula_30, and that any maximal element of formula_30 has domain formula_33 proving the claim.