Except it wasn’t a Mario franchise game. It was a tech demo of a “Mario-style” game featuring vertical scrolling.
And my video game history teacher also worked for Nintendo in the 80s. I also had a teacher who worked on the original Tetris. I believe them over a random stranger on the internet.