On positive real lemma for non-minimal realization systems