theorem :: SCMFSA6B:9

canceled;