theorem
  G1 == G2 & G1 is cubic implies G2 is cubic by Th31;
