  The Solution Theorem described how to solve an elective equation  for one of its symbols in terms of the others, often introducing constraint equations on the independent variables. In his algebra of logic he could always  solve an elective equation for any one of its elective symbols. For example,  the equation \(q(x)y = p(x)\) was solved by using formal division   \(y = p(x)/q(x)\) and then using formal expansion to obtain \(y = ax + b(1-x)\) where \(a = p(1)/q(1)\) and \(b = p(0)/q(0)\), and then decoding the fractional coefficients. This theorem will be discussed in more detail in  Step 7 of Section 6.2. 