Para el caso en el que tengamos un α no entero, la definición de formula_42 es redundante (como queda claro por su definición de arriba).