theorem :: SCMFSA_3:1

canceled;