Ett bevis på antagandet af ett längretid