theorem :: SCMFSA8C:7

canceled;