theorem :: SCMFSA_9:11

canceled;