theorem :: SCMFSA6A:10

canceled;