theorem :: SCMFSA_1:12

canceled;