exact first-order ordinary differential equation