theorem :: SCMFSA8B:6

canceled;