代数等价的两个状态空间模型是严格系统等价的.