Mosner’s Theorem | b!nje