Proof of validity of first-order travel estimates