theorem :: SCMFSA8C:76

canceled;