icke kunna bewisa detta lätta sats.