程伯符真的是司馬氏的祖先麼

是的。

司馬姓是一個很古老的複姓，最早出自西周，屬於以官職稱謂為氏。上古時期，有一個人叫重黎，他是司掌天地的官周宣王時期，重黎後人出了個叫程伯休父的人，他官至司馬，執掌國家軍隊，佐政輔國，權勢重大後來，程伯休父克平許方，立下大功，被周王室允許他以官職為姓，其後遂成司馬氏。