theorem :: SCMFSA_2:2

canceled;