theorem :: SCMFSA6A:7

canceled;