If that was a teacher, and had the teacher been armed with a gun, that student...or any other student present at the time of the attack...could have disarmed the teacher of their gun.

That is why guns are no good inside a school.

Outside, sure.
Inside, NO!