nirenbergs conjecture