Damn, you edited that post, here's the answer still for the E<H<K thing.
This is sort of like integral is integral from algebriac integers. As stated I don't think it is true - it would be if each were algebraic over the smaller field.
And the wikipedia thing misses the point that it is the nested union that you take.
EDIT removed the incorrect assrtion about splitting.