theorem :: GLIBPRE1:17

canceled;