Prove that \(I {\ \land \ }B \to V > 0\).
\[\begin{split} & I {\ \land \ }B \to V \gt 0\\ \iff & res+nm=n_{0}m_{0} {\ \land \ }n \geq 0 {\ \land \ }n \gt 0 \to n \gt 0\\ \iff & \top \end{split}\]
