theorem :: SCMFSA8B:7

canceled;