Concept

Totally real number field