How many movies have Miguel Resende and Pedro Henrique Martins collaborated on?

They have not worked on any movies together...