:: deftheorem Def59 defines _trivial GLIB_000:def 76 :
for GSq being GraphSeq holds
( GSq is _trivial iff for x being Nat holds GSq . x is _trivial );