In exercise 5, the set S should be a linear subspace. Please assume that it is. Thank you to Arnav for pointing that out.