Khinchin theorem

GPTKB entity