theorem :: SCMFSA8C:87

canceled;