Братья Марио

Обычного Марио мы всегда знали как просто Марио, как будто это его имя. Луиджи - типа как его брат, а вместе их называют "Братья Марио". Получается, Марио - это еще и их фамилия, то есть Луиджи Марио и Марио Марио?

Оказывается, да.