On se restreint à une droite complexe dans E et on compose avec une fonctionnelle linéaire sur F; on obtient une fonction entière qui est bornée par une constante fois la valeur absolue de l'argument.
Donc ça doit être un polynôme de degré au plus 1.
Si on fait ça pour toutes les fonctionnelles sur F et tous les sous-espaces unidimensionnels de E, la conclusion devrait s'ensuivre.