theorem :: SCMFSA8A:6

canceled;