1. Должна ли стоять запятая на месте знака % в предложении "В работах [1,7] показано, что если такой функционал найден, то можно просто определить % принадлежит ли полином идеалу или нет, найти для полинома из идеала явно его линейное выражение через полиномы системы полиномов, найти число общих корней полиномов с учетом их кратности." 2. Должна ли стоять запятая на месте знака % в предложении "где разностные производные и оператор разностной производной определены % как в лемме 1.1." 3. Существует ли в русском языке оборот "Поскольку ..., то ... .", например, правильно ли предложение: "Поскольку a=b, то в силу теоремы a+1=b+1." 4. Можно ли употреблять в русском языке словосочетание "заменяется на", например, как в предложении "Доказатетельство теоремы 2 полностью повторяет доказательство теоремы 1, с той лишь разницей, что слово "полином" заменяется на фразу "однородный полином", слово "полуоднородная" заменяется на слово "однородная", знак неравенства заменяется на знак равенства."