theorem :: GLIBPRE0:30

canceled;