Assertion: real number's part | /r/HasProperty | described by dirichlet's unit theorem
Facets:
Source sentences:
text: The free part is described by Dirichlet's unit theorem.