theorem :: SCMFSA_9:13

canceled;