theorem :: GLIBPRE0:24

canceled;