theorem :: SCMFSA8C:90

canceled;