Доказать, что любое действительное положительное число можно представить в виде суммы девяти чисел, десятичная запись (каждого из) которых состоит из цифр 0 и 7.