File:ExtensiveProof.jpg