秃姓朡夷、豢龙，则夏灭之。祖姓彭祖、豕韦、诸稽，则商灭之。姜姓会人，则灭之。