theorem :: SCMFSA_1:31

canceled;