very minor corrections section 1
put in assumption on S, so that basis is a basis

took out conditions \bar{R} \neq 0, replaced P_t by
\partial{P}/partial{t} because of conflict with P_0,