On the Nash program for the Nash bargaining solution