— Låt oss nu antaga ,att