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

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	I do not know the name of the theorem (I didn't even know it had a name or was a theorem), but it is an easy consequence of the Hahn-Banach theorem and of the $L^p - L^q$ duality, sometimes called Riesz theorem.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com