初等數論中的“同餘（congruence）”概念應用很廣，並已推廣成為現代抽象代數中的一個重要組成部分。

以下這個簡單的證明題，應用“同餘”概念就可以解決了。

a、b和c是兩兩不等的3個正整數，則

abc(a^2 - b^2)(b^2 - c^2)(c^2 - a^2)必定是7的倍數。