theorem :: SCMFSA8C:82

canceled;