theorem :: GLIBPRE0:41

canceled;