theorem :: GLIBPRE1:25

canceled;