The transfer function of a MIMO is a (m×k) matrix of proper rational functions.
This follows from the proof of the proposition. Next we consider the converse of Proposition. Realization means devising a linear system with a given transfer function.