theorem :: GLIB_001:26

canceled;