theorem :: GLIB_003:3

( WeightSelector = 5 & ELabelSelector = 6 & VLabelSelector = 7 ) ;