U must be either 2L or 2L−1; therefore each internal node is at least half full.
U 必须等于 2L 或者 2L-1;因此，每一个内部节点都至少是半满的。