theorem :: SCMFSA_9:21

canceled;