Final Value Theorem Proof