theorem :: SCMFSA_9:30

canceled;