theorem :: SCMFSA6A:4

canceled;