theorem :: SCMFSA8A:3

canceled;