Mostre por indução sobre $\alpha$.