theorem :: SCMFSA8C:83

canceled;