Schütte–Simpson theorem

GPTKB entity