Prove nog_norms_greater_zero. :)