Gaussian elimination without pivoting gives
Thus and the solution is unique exactly when .
For , forward substitution in a triangular system in gives . Consistency of requires . backward substitution in a triangular system then gives