Proof Using Ivt