Proved Letrec without cheats