File:Proof for overlaps.jpeg