How many movies have João Galrão and Pedro Antunes acted in together?

They have not worked on any movies together...