I have been reading Heckman (1979) and have tried to prove some result used (the paper points to a book which does not show the work either). I alter the notation a bit for clarity. Assume we have: $$\left(\left.\begin{matrix}u_{1}\\ u_{2} \end{matrix}\right|x\right)\sim\mathcal{N}\left(\mathbf{0},\left[\begin{matrix}\sigma_{1}^{2} & \rho\cdot\sigma_{1}\\ \rho\cdot\sigma_{1} & 1 \end{matrix}\right]\right)$$ with $x\in \mathbb{R}^{k}$ a constant column. I want to compute: $$\mathbb{E}\left[{u_{1}|x,u_{2}\ge-c\cdot x}\right]$$ with $c\in\mathbb{R}^{k}$ a constant row. It turns out that it equals $\rho\cdot\sigma_{1}\cdot\lambda\left(c\cdot x\right)$ with $\lambda\left(\cdot \right)=\dfrac{\phi\left({\cdot}\right)}{\Phi\left({\cdot}\right)}$ the ratio of the standard normal PDF and CDF (the so-called "inverse Mills ratio").
I haven't been able to do much work. Help would be appreciated.