theorem :: SCMFSA8B:3

canceled;