A Robust Control Approach to Option Pricing: the Uniqueness Theorem