theorem :: SCMFSA_1:14

canceled;