Supplementary Material Density-driven Regularization for Out-of-distribution Detection A.1 Proof of lemma 1