theorem :: GLIBPRE1:24

canceled;