http://musicbrainz.org/track/802f70c5-a8c7-412f-9585-87b5fe58c080.html
I have it down to one last detail. but it hinges on the fact that all the non-algebraic types over a finite set A, are of the form P_(phi), for some S.M. formula phi.
where P_(phi) is that type which says that there is a guy in phi(M) which is not algebraic over A.
because phi is strongly minimal, we know that P_(phi) is the unique non-algebraic type over A containing phi.
and if dim(phi) is infinite, then P_phi must be realized.
obviously the algebraic types are realized, because they are isolated.
so its done if you know that all the non-algebraic types over A are of the form P_(phi)