utgör just ett bewis för denna satsens riktighet.