theorem :: SCMFSA_9:12

canceled;