theorem :: SCMFSA_9:7

canceled;