Låt oss nu antaga,