proof: treating objProc as if it were nreProc works