Conservative definition
Parameters: ab, ac, wb, wc, qb, qc, N
∀ x. ∀ y. ∀ z. ∀ n. S x ≤ N → S y ≤ S (S x · ac) ∧ (∃ m. ab = m · S (S x · ac) + y) → S z ≤ S (S S x · wc) ∧ (∃ m. wb = m · S (S S x · wc) + z) → S n ≤ S (S x · qc) ∧ (∃ m. qb = m · S (S x · qc) + n) → n = y · z