theorem :: SCMFSA_9:34

canceled;