Man kan alltså antaga,