theorem :: SCMFSA_9:8

canceled;