诸葛亮为什么姓诸葛

【偶尔看到一段毛主席生前跟谷牧的对话，感觉恍然大悟】1952年年初，毛主席路过济南，跟时任济南市委第一书记谷牧有过一个聊天。
毛主席问：“你知道诸葛亮为什么姓诸葛吗？”谷牧不能回答。毛主席说，“你以前看过陈寿的《三国志》吗？可以去查一查其中的《诸葛瑾传》，现在我跟你解释一下，孔明先世本姓葛，最初的籍贯是诸城，后来移居到了阳都。”
“阳都也就是山东临沂古时候的名字，在阳都这个地方有一个大姓是葛姓，他们非常排挤外来的人，特别是对于那些是同为葛姓的，更是格外排挤。”
“诸葛亮的祖先为了避免不必要的麻烦，将姓氏改为诸葛，诸字取自原籍诸城，到了后来就一直沿用了下来，后世也就姓了诸葛。”
我也自信《三国演义》看了多遍，但一直不知道诸葛亮为什么姓诸葛，看了这段对话，才恍然大悟：诸葛亮祖籍诸城，葛姓，迁到临沂后为了区别其他葛姓，故名诸葛（诸城葛姓）。