Title: A proof of the correctness of the Hopcroft-Bunch Lu decomposition algorithm