 Kunen lemma

For an elementary embedding with critical-sequence supremum $\hat{\kappa }$, the setdoes not belong to the transitive target model. The proof uses an omega-Jonsson function on $\hat{\kappa }$.