Пусть А — простое число, В — составное, но не делящееся на А. Два других числа хну взаимно простые, причем у — один из делителей числа В. После требуемых умножений может получиться сумма
 или

Ясно, что первая сумма не делится на у, а вторая делится. Следовательно, по тому, делится или нет окончательный результат на у, однозначно определяем, было ли умножено на у число А или число В.