ett bewis för denna satsens riktighet.