Proof of Validity of First-Order Seismic Traveltime Estimates