Under antagande , attdu