theorem :: SCMFSA_9:15

canceled;