Комментарий:До Мартина IV был один Мартин и два Марина. В какой-то момент последние двое по чьей-то невнимательности стали в перечнях Мартином II и III. Потом им вернули корректные имена, а Мартин IV так и остался. Другой Марин считается основателем Сан-Марино.