File:Proof inf4.jpg