theorem :: GLIBPRE1:19

canceled;