Campeonato Brasileiro leaders Cruzeirio held on to defeat second-placed Internacional 2-1 to stretch their lead at the league's summit to nine points.