theorem :: SCMFSA8C:89

canceled;