theorem :: GLIBPRE0:21

canceled;