Известно, что натуральные числа a, b, c удовлетворяют соотношению a +b = ab − bc, а  c + 1 – квадрат простого числа. Докажите, что хотя бы одно из чисел a + b или ab является квадратом натурального числа.