for R being Relation st field R is finite holds
R is finite