theorem :: SCMFSA8C:8

canceled;