theorem :: SCMFSA_2:97

canceled;