theorem :: SCMFSA_9:33

canceled;