theorem :: SCMFSA_9:14

canceled;