theorem :: SCMFSA8B:2

canceled;