Detta antagande utgör äsiven ettnödwändigt