Korolari 21.1.24. Himpunan semua bilangan aljabar membentuk suatu lapangan; yakni, himpunan semua bilangan kompleks yang aljabar atas \({\mathbb Q}\) membentuk suatu lapangan.