 We can prove by several means  known in propositional calculus that
holds.Since formula_49, by the transitivity property of the divisibility relation, formula_52.Thus (as equality axioms postulate identity to be a congruence relation )
can be proven.