Да, я сделал допущение, что наш макс. идеал I<R содержит многочлены от t, это позволило мне заключить, что на самом деле он содержит некоторый t-c. Не знаю, всегда ли это так, но в общем случае можно, сделав подходящую замену порождающих нашего кольца (заменить t на s=t*e^\lambda t для некоторого лямбда, а экспоненты оставить без изменения), считать, что он содержит многочлен (теперь уже от s) и повторить рассуждения выше. Тот факт, что А=R/(s-c) -- не поле, остаётся верным.