Låt oss dock nu antaga ,att