Preference representation theorem