theorem :: SCMFSA_3:2

canceled;