 Fredholm alternative for a matrix

The system $Ax=b$ is solvable exactly when $b$ is orthogonal to every vector in $\ker A^T$.