Mosner’s Theorem