How many {proved by} are for {modularity theorem} ?
How many things are proved by the modularity theorem?
SELECT (COUNT(?obj) AS ?value ) { wd:Q649469 wdt:P1318 ?obj }
SELECT (COUNT(?obj) AS ?objs ) {
?statement <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://wikidata.dbpedia.org/resource/Q649469> .
?statement <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://www.wikidata.org/entity/P1318> .
?statement <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> ?obj .
} 

The modularity theorem proves how many things?