正是公孙牙的祖父，公孙大刀。