Üm provador de teoremas multi-estratégia\" - Seca Neto, Adolfo Gustavo Serra (2007)