consider x being Element of X;
reconsider y = x as Element of L ;
reconsider Z = {y} as finite Subset of X by ZFMISC_1:37;
ex_sup_of Z,L by YELLOW_0:38;
then "\/" (Z,L) in finsups X ;
hence not finsups X is empty ; :: thesis: verum