theorem :: SCMFSA8C:74

canceled;