theorem :: SCMFSA8C:36

canceled;