theorem :: SCMFSA_1:3

canceled;