Talk:Linear congruence theorem/to do

• Give a proof of this theorem.
• Reorganize the article, currently it is a little bit messy.
• Discuss the significance of this theorem to the modular arithmetic, especially in relation to groups(since this shows not all integer have inverse)