where \(\lambda\) is a parameter that can be proven to be the mean travel time.  Therefore, by integration is easy to prove that: