theorem :: SCMFSA8C:79

canceled;