File:Proof that my example works too.PNG