theorem :: SCMFSA_9:3

canceled;