Question: How many things are proved by the modularity theorem?
SPARQL (Wikidata): SELECT (COUNT(?obj) AS ?value ) { wd:Q649469 wdt:P1318 ?obj }