Being bullied sucks. I will teach my kids to use any tools available to stop them being bullied. If resorting to authority solves the problem, then thats great. That's how you deal with bullies, by using whatever works; not by following some arbitrary code about doing things yourself, or not tattling etc. (Note though I live in Ireland where involving the police sounds pretty bizarre/extreme).