Conservative definition
Parameters: alpha, beta, gamma, ab, ac, bb, bc, cb, cc, L
∀ x. ∀ y. ∀ z. ∀ n. S x ≤ L → S y ≤ S (S x · ac) ∧ (∃ m. ab = m · S (S x · ac) + y) → S z ≤ S (S x · bc) ∧ (∃ m. bb = m · S (S x · bc) + z) → S n ≤ S (S x · cc) ∧ (∃ m. cb = m · S (S x · cc) + n) → gamma · n = alpha · y + beta · z