Kalman Reachable Subspace Formula