nnlm,proof