information about Codd's theorem field