theorem :: SCMFSA6A:6

canceled;