theorem :: SCMFSA8C:85

canceled;