theorem :: SCMFSA8A:5

canceled;