Кто такой праправнук?

Праправнук — это сын правнука или правнучки.