@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbr:	<http://dbpedia.org/resource/> .
<http://dbkwik.webdatacommons.org/resource/KAIcBrNucSE3SWWe3_B34A==>	owl:sameAs	dbr:Theorem .