modularity theorem

GPTKB entity