Да, если это доказать, то всё получается. Можно ваше утверждение немного усилить и сказать, что если
и
и
, то
.
В подобных случаях по идее должна спасать индукция, но по индукции доказать у меня тем не менее не получилось. Базу можно считать доказанной, то есть утверждение верно при
. Но как доказать переход непонятно. Допустим мы имеем числа
и
, нужно только как-то умудриться доказать, что если утверждение верно для всех остальных пар чисел
и
, таких, что
и
, то оно же верно и для
и
. Либо же нужна какая-то другая идея.