Gödel's Condensation Lemma

There is a sentence such that
for all Transitive Models such that
then there is some such that
where is the Constructible Hierarchy.

Proof

Take the Sufficiently Strong finite and write

If is Transitive then for some .
So if then is a limit ordinal.
By Axiom of Constructibility

since is a limit.