Да,другими словами - d( 0.5*(xy)^2 +[(y^3)/3] ) = 0 = d( C ), C=const. Можно просто опустить знаки дифференциалов.