See Algebra.