人們給地方命名絕非空穴來風。但凡有「墳」「陵」之類的地名，往往都是因為附近有大型陵墓！此「獅子墳」或許是「世子墳」的訛傳！