prove a cheat in repl_fun_alt_proof

due to printing in reverse