Devissage theorem

GPTKB entity