fact: Definition mma_mult_cst_with_zero := MULT_CSTₐ x z k i ++ TRANSFERTₐ z x (5+k+i).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool gcd pos vec subcode sss) Undecidability.MinskyMachines.MMA(mma_defs)