theorem :: SCMFSA6C:3

canceled;