Assertion: real number's root | /r/HasProperty | proved irrational
Facets:
Source sentences:
text: The square root of 2 was the first number proved irrational, and that article contains a number of proofs.