Prova das reais funções