Explain how the lattice multiplication algorithm arrives at the correct answer.?

I would like to know it comes to the correct answer always, in a general case and not for a particular example.