Links for linear_congruences