С.О. Сперанский. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 4