Added Proof for Time Formula