Exempel son , bewisa,