_:vb6670793	<http://www.w3.org/1999/02/22-rdf-syntax-ns#value>	"(mathematics) proof"@en .