University of Southampton - MATH1048: Exercise 3 - Basis and dimension of the orthogonal complement of subspace in an inner product space of real polynomial space borrowed