, which arise when eAtis expressed as
, is derived. It is shown that the set of functions
is linearly independent over any nonzero interval. Using this fact, a constructive proof is given for the well-known criterion for a linear time-invariant system to be controllable, namely, rank
.