proof needed for N-P equivalence