fact: Definition h10c_vars c := match c with | h10c_one x => x::nil | h10c_plus x y z => x::y::z::nil | h10c_mult x y z => x::y::z::nil end.
imports: List Arith Undecidability.Shared.Libs.DLW.Utils(utils_decidable utils_nat) Undecidability.DiophantineConstraints(H10C)