Låt oss antaga , attdenna