Proved F_2 is a field.