theorem :: GLIBPRE0:40

canceled;