theorem :: SCMFSA6A:9

canceled;