Erdős–Fuchs Theorem - Ontify