we could prove the necessary regularity for the solution, but we leave this to the reader