лыбдыбр
Ходя по тропинкам, раэбираюсь в уме в Основной Теореме Арифметики (в духе "Кольца для недоумка"). Уже почти понял, почему она верна. Но доказательство, что если Х не делится на простое Р, и У не делится, то и ХУ не делится, пока что кажется чересчур закрученным. Надо либо придумать попроще, либо уяснить, что все эти навороты по существу.