Vlastnosti posloupností - platnost výroků