То есть делим

. Хорошее выражение. Обычно при доказательстве делимости пытаются преобразовать выражение так, чтобы получить делитель среди сомножителей. Ещё хорошо в анализируемом выражении как-то выделять выражения, для которых есть условия. Ещё... Ну пока хватит
