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