theorem :: GLIBPRE0:42

canceled;