theorem :: SCMFSA_9:10

canceled;