Quick arbitrage opportunity shows prediction markets are still inefficient.