theorem :: SCMFSA6A:11

canceled;