Representing roommates’ preferences with symmetric utilities

In the context of the stable roommates problem, it is shown that acyclicity of preferences is equivalent to the existence of symmetric utility functions, i.e. the utility of agent i when matched with j is the same as j's utility when matched with i.