theorem :: SCMFSA8C:81

canceled;