How many movies have José Pinto and Pedro da Naia acted in together?

They have not worked on any movies together...