De fato, seja $ y \in x \in H(\kappa) $, seja $ |tr(y)| \geq \kappa $, mas $ tr(y) \subset tr(x) $ e portanto $ |tr(x)| \geq \kappa $.