finite field of order 4