Tre gol nel derby per il Milan: non accadeva dal 2011