theorem :: SCMFSA6A:5

canceled;