theorem :: SCMFSA_9:5

canceled;