Study on differential equations systems and their normal forms, linear differential equation systems, Ostrogradskiy-Liuvilla formulation, Gronuolla-Belman lemma