Операция вводится на целых положительных числах. верно, если , где значит конкатенацию строковых представлений чисел x, y и последующий перевод результата в число.

Требуется доказать, что если и , то .