Definition:Simultaneous Linear Congruences