Polynomial Remainder Sequences and Theory of Subresultants