Solvability Criterion for Linear Congruences