Como se escreve faz tempo?

Aprendemos, faz tempo, que devemos usar a forma “HÁ”, do verbo “HAVER”, quando nos referimos a um tempo já transcorrido: “Não nos vemos HÁ dois dias”; “HÁ dez anos que ele partiu”. É interessante observar que a redundância “HÁ… ATRÁS” só ocorre com o verbo “HAVER”.