Modular_arithmetic_LLL_and_HNF_algorithms.Uniqueness_Hermite_JNF