theorem :: GLIBPRE1:23

canceled;