To prove the statement of the theorem, let us first recall the procedure of a formal transformation of the
system (REF ) to a diagonal form, the splitting lemma (from [1]}, and we assume that \(a=0\)  for simplicity).
