Correction: Mario (originally "Jumpman") first appeared in Donkey Kong, released July 1981 as an arcade cabinet by Nintendo.
The NES/Famicom was Mario's breakout platform, not his origin. By the time Super Mario Bros. launched, Mario was already a recognizable Nintendo mascot from arcades.