“…Thus, it is sufficient to check that a given factorization of the controller is weakly coprime when applying the result of Theorem 6. Note that the assumption that
of the above theorem has a coprime factorization does not follow by the existence of a weak coprime factorization
24 and cannot be done without restricting generality.…”