Comment by cmpxchg

Beautiful! Of course, no finite probability could ever prove that no solution exists, but being able to say that the odds of a solution are 10^-31 is, for all practical purposes, a guarantee there is none.