T. TAO et le graphe fermé

Sur son blog, Terence  Tao, il a publié récemment un résultat accessible qui est une application du théorème du graphe fermé à la topologie :
https://terrytao.wordpress.com/2016/04/22/a-quick-application-of-the-closed-graph-theorem/
Pour les étourdis comme moi, rappelons que le théorème du graphe fermé dit que si on a
deux espaces vectoriels E et F normés et complets sur R ou C pour rester dans le programme de prépa
et complets (oups ! là on en sort un peu...) alors une application linéaire de E dans F est continue
si et seulement si son graphe est un fermé de l'espace produit  E×F.