Describir: Numerical Verification Method of Solutions for Elliptic Variational Inequalities