Check put-call parity (C + PV(K) = P + S), find theoretical prices, and detect arbitrage opportunities.