gtGtNil :: (List b)  ->  (List c)  ->  (List c)
gtGtNil p q = gtGtEsNil p (gtGt0 q)
gtGtNil :: (List b)  ->  (List c)  ->  (List c)
gtGtNil p q = gtGtEsNil p (gtGt0 q)
gtGtNil p q = gtGtEsNil p (gtGt0 q)