theorem :: ZFMISC_1:27

canceled;