 Boole omitted writing out the reduction of the pair of equations to a single equation, as well as the elimination of the middle term \(y\) from this  equation and the details of applying the Solution Theorem to obtain the desired expressions for \(x, 1-x\) and \(vx\),  three equations involving large algebraic expressions. 