theorem :: SCMFSA_9:1

canceled;