theorem :: SCMFSA6B:10

canceled;