theorem :: SCMFSA_1:6

canceled;