Prove nog_norms_greater_zero.