theorem :: SCMFSA_1:4

canceled;