元杂剧剧本。又作《孝义士赵礼让肥》。见该条。