theorem :: GLIBPRE0:43

canceled;