ring_nf
a b c : ℤθ
elem : 9 = 3 + 3 + 3
elem1 : 3 + 3 = 6
⊢ { f := -1901 * -23 + 6 * -336 * -15 - 2 * -4842 * -15 - 2 * -336 * -63,
      g := -1901 * -63 + -4842 * -23 + 16 * -336 * -15 - 6 * -4842 * -15 - 6 * -336 * -63,
      h := -1901 * -15 + -336 * -23 + -4842 * -63 + 3 * -336 * -15 - 3 * -4842 * -15 - 3 * -336 * -63 } =
    { f := -113633, g := -251019, h := 75015 }
no goals