Bevisningen för denna sats är dockhelt