Ett bevis för detta antagandesriktighet