Prediction markets can hedge Bitcoin volatility without selling the Bitcoin. — Synthesis