About: http://webisa.webdatacommons.org/171506202

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	The following is a very deep theorem: Theorem There are exactly nine negative values of D for which O(sqrt(D)) is a UFD. They are D = - 1, -2, -3, -7, -11, -19, -43, -67, -163.
http://www.w3.org/ns/prov#wasQuotedFrom	ams.org