Låtom oss antaga att ,under