theorem :: GLIBPRE0:27

canceled;