Мультипликативный метод построения целочисленных последовательностей Сомос-8 и Сомос-9

Пусть заданы две целочисленные последовательности Сомос-4. В работе доказывается, что, за некоторыми исключениями, их произведение является последовательностями Сомос-8 и Сомос-9.