12.4 LU Theorem