theorem :: SCMFSA6A:14

canceled;