But a new proof establishes that, in fact, the right kind of guessing is sometimes the best way to solve ... variables take a value of zero in most of the equations. This is a situation that comes up ...