theorem Th89: :: SCMFSA_2:96

halt SCM = halt SCM+FSA ;