We make use of the UV-complete transport theory developed by Kapustin to provide the exact proof for the thermal Hall formula for magnons.

• The most tricky part is about the energy magnetization.