Bedrosian theorem

GPTKB entity