Existence and Uniqueness of LU Factorisation