theorem :: SCMFSA_1:2

canceled;