Kalman Observability Rank Theorem