theorem :: SCMFSA_1:7

canceled;