Ну вроде как у Евклида - доказательство бесконечности простых чисел. Только тут вместо простые - вида

- назовем их красивыми. Красивое число, у которого нет красивых делителей назовем очаровательным. Или красивое число - очаровательное, если у него нет очаровательных делителей. Перемножим всех очаровательных, возведем в квадрат, добавим единичку и получим красивое число, у которого нет очаровательных делителей.