theorem :: SCMFSA_9:2

canceled;