State And Prove Initial Value Theorem