Таким образом, потомок человека, обладающего именем Марин, со временем получил фамилию Маринин.