@shumuel: This is a proof