theorem :: GLIBPRE1:20

canceled;