theorem :: SCMFSA_9:36

canceled;