theorem :: SCMFSA_1:15

canceled;