theorem :: SCMFSA_9:24

canceled;