for a being Nat holds seq (a,0) = {}