Rényi theorem

GPTKB entity