A conjectura de Bateman-Horn e o Lambda-cálculo de Golomb - Pontes, Pedro Henrique (2012)