 Farkas certificate for linear inequalities

Such a vector certifies that $Cx\le d$ has no solution: the nonnegative weighted sum of the constraints would give $0\le d^{T}y<0$. Conversely, Farkas lemma supplies one whenever the system is inconsistent.