Title: Non-definability of embeddings $j:V_\lambda\to V_\lambda$
Abstract: Assume $\ZF$. We show that there is no limit ordinal $\lambda$ and elementary $j:V_\lambda\to V_\lambda$ which is definable from parameters over $V_\lambda$.