Linear Congruences and theorems