Detta antagande befinnes nufullkomligt