https://profilbaru.com/en/Totally_real_number_field