User blog:OniKisaki/Mario Bros.?

If, for example, the Marx Brothers are brothers named Groucho Marx, Chico Marx, Harpo Marx, and Zeppo Marx, and the Hemsworth Brtothers are brothers named Luke Hemsworth, Liam Hemsworth, and Chris Hemsworth, does that mean that the Mario Bros. are actually named Mario Mario and Luigi Mario?