Proof of the equivalence of Tanizawa–Berkvens’ and Cointe–van Daalen's formulations for the time derivative of the velocity potential for non-linear potential flow solvers