Erdős–Anning theorem

GPTKB entity