theorem :: GLIBPRE0:32

canceled;