17假设存在