theorem :: GLIBPRE1:22

canceled;