What is the theoretical reason K-Means cannot discover hierarchical structure?

K-Means produces flat partitions and does not preserve nested cluster relationships.

Hierarchical structure requires multi-level relationships, but K-Means assigns each point to exactly one cluster at one level. It does not retain parent-child relationships between clusters, unlike hierarchical clustering methods.