歷史上到底有沒有薑子牙這個人嗎