solutions to spivak calculus on manifolds