  Suppose that there's no transitive model of ZFC + there's a strong cardinal,
and let K denote the core model. It is shown that if \delta has the tree
property then \delta^{+K} = \delta^+ and \delta is weakly compact in K.
