Talk:Hyper-finite field