Arsenal were lucky – they must now learn from Porto's exhibition in gamesmanship