. "The theme that plays during Mario's battle with him is a cover of the final battle theme in Super Mario Bros. 3." . . .