theorem
  for F being PGraphMapping of G1, G2 st F is isomorphism
  holds G1 is cubic iff G2 is cubic by Th30;
