theorem :: SCMFSA_1:13

canceled;