I'm going to give a pictorial version of in Section 3 of our paper, which is a more detailed and rigorous proof. If n is the surface normal ...
If n is the surface normal ...