theorem :: SCMFSA_9:32

canceled;