theorem :: GLIB_002:1

canceled;