theorem :: GLIBPRE1:21

canceled;