theorem :: SCMFSA8A:7

canceled;