For a real function $f$ with continuous derivative $f'$ we have the following identity which should not require any choice to prove:

$$ f(x) = f(0) + \int_0^x f'(y)dy \ \ (\mbox{all}\ x\in\mathbb{R}) $$

From this identity the proof of your proposition follows trivially.