slightly more rigorously
integral( d(x')/dt , dx)
integral( d(x')/dt , x' dt)
integral( x' d(x')/dt , dt)
x' * x' - integral(d(x')/dt x', dt) + C (integrate by parts)
equating last 2 lines,
2integral( x' d(x')/dt , dt) = x'^2 + C
integral( x' d(x')/dt , dt) = (x'^2)/2 + C
as claimed, with integration constant since all integrals are indefinite