The K refers to horizontal resolution though. The Resolution used for cinema are 2048x1080 aka DCI 4K and 4096x2160 aka DCI 4K. TV manufacturers thought it would be fun to market UHD aka 3840x2160 as 4K, which it isn’t. It‘d be 3.8K if you’d have to label it like that.