theorem :: GLIBPRE0:28

canceled;