<The Detail of This Chapter.pdf>
(F, +) is a Abel group;
(F, *) is a Abel group;
(+, *) satisfy distributive law;
1 /= 0;
then, (F, +, *) is a field.