theorem :: SCMFSA8A:1

canceled;