How does `lseek` help determine whether a file is empty?

Question

I am looking at the source code of cat from the GNU coreutils, in particular the circle detection. They are comparing device and inode and that works fine, ther