真空ポンプでいいのでは