theorem :: GLIB_001:2

canceled;