Después se define un procedimiento como programa principal.