Not gonna lie, proving that solutions exist with certain regularity properties for special kinds of equations was my then partner‘s whole master thesis at the time.