Sanns.modell, setning 1,2, 3 og 4, Venn-diagram , bevis