背理法は不要なのか

3次式のリゾルベントの話でした。