User:Lazauya/sandbox

Theorem: For any three integers $$a, b, c$$ such that $$a+b=c$$, where $$c=Mn$$, either $$a=Mk$$ and $$b=Ml$$ or $$a=m_{1}k$$ and $$b=m_{2}l$$, i.e., if $$a+b=c$$ then either $$a$$ and $$b$$ are multiples of $$M$$ or neither $$a$$ nor $$b$$ are multiples of $$M$$.