F20 06 Bevisfortsättning, samma nollrum