Elementary Theory of Equations