罚必则令行，令行则主尊，世祖所以能定四方之难也。