theorem :: SCMFSA8B:4

canceled;