Complete quartic exclusion

The classified feedback place is transported algebraically to the zero place. The complete zero-place slice theorem then excludes every possible second direction in the normalized seed plane.

theorem UnrestrictedBooleanMul.N4.seedUsingQuarticClassifiedForm_impossible {g : ANF 8} (h : SeedUsingQuarticClassifiedForm g) : False

theorem UnrestrictedBooleanMul.N4.NormalizedEight.seed_quarticProbe_eq_zero {C : Circuit 8 8} (h : NormalizedEight C) : quarticProbeANF (C.gate 3) = 0

The normalized seed gate has zero quartic high part.