theorem :: SCMFSA_1:16

canceled;