Låt oss alltså antaga , attde