A Nash equilibrium necessarily maximizes joint profits