Finite-state superhedging alternative

Let $P$ be the state-by-asset matrix of discounted gains. There exists $\theta$ with $Y-P\theta \ge 0$ exactly whenfor every $q\ge 0$ satisfying $P^{T}q=0$. This is the finite-dimensional cone-separation, or Farkas-duality, form of superhedging.