Is there a distinction between proving that an equation has no solutions and proving that it's impossible for the equation to have a solution?