Modular_arithmetic_LLL_and_HNF_algorithms.HNF_Mod_Det_Soundness