Men i det fallet antaga vi ,att