theorem :: SCMFSA8C:11

canceled;