theorem :: SCMFSA8C:75

canceled;