Vi antaga således ,att