theorem :: GLIBPRE0:25

canceled;