The proof of both theorems can be found in the Appendix.
by the non-negativity and joint convexity of the f-divergence (Csiszar and Korner, 1982), we have: Fs is N log N when using NLL loss, and 0 for the L2 loss.