Mirsky–Newman theorem