theorem :: SCMFSA6A:13

canceled;