"Другое" доказательство, скорее всего, будет просто замаскированным тем же самым.
Вот, например. Меньшее из чисел заменим на удвоенное. Если в наборе получили два одинаковых числа, то утверждение доказано. А если всё ещё нет одинаковых чисел, то снова удвоим меньшее. И т.д. Очевидно, за конечное число шагов в наборе появятся два одинаковых числа, что будет означать, что в исходном наборе два числа отличались множителем вида
