How many movies have Arthur Diniz and Pedro de Lima collaborated on?

They have not worked on any movies together...