On Euclid's Algorithm and the Theory of Subresultants | Synapse