theorem :: GLIBPRE1:18

canceled;