Ett bevis härpå lemnar redanprogrammet