theorem :: SCMFSA8C:78

canceled;