theorem :: GLIBPRE0:22

canceled;