Kalman Controllability Rank Theorem