A proof of the extended future tube conjecture