Text this: Новый вариант доказательства правильности способа деления без восстановления остатка