theorem :: SCMFSA6A:12

canceled;