Sequences 1.7

A few minor corrections for section 1.7 (helpful theorems):
  fixed a casing issue with variable 'x'
  removed some extra text from a solution