(S1*P1-O)/(P2*K)

Oは、オプションです。
Ｋの値は、時間価値だとしますと
現在価値より、離れたところに、Ｓ２の値が存在する可能性があります
Ｋの値により、サブ証券であるＳ2が、Ｓ１より高くなることがあります