equality of two sequences
Mathpedia