Fodor's theorem