Och då antaga vi ,att