Good for the 7-year old!
Four on one attacks are a pain, and it's good that the kid handled himself well.
He absolutely did the right thing.
I was bullied in grade school and high school, and it really only ended when I started fighting back. It's a shame, but that's the way it goes sometimes.
Regards,