theorem :: SCMFSA8A:4

canceled;