Clapczynski's theorem

GPTKB entity