it's a lot to write...

substituting these derivatives into the equation:

now the outside exponent can nulify the equation only if a->inf which is not interesting.

now because the following equality is supposed to hold for any value of x (y is a solution) then it must hold in particular for x = 0 thus: