La primera prueba de Church reduce el problema de determinar si una expresión lambda dada tiene una "forma normal".