Darmois theorem

GPTKB entity