muirheads theorem