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

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	If n is an integer not divisible by 3 and not equal to 0, then [(2*(n^2)+1] MUST be divisible by 3.
http://www.w3.org/ns/prov#wasQuotedFrom	physicsforums.com