However, in September 1993 the proof was found to contain an error.
しかし、1993年9月、この証明は誤りが含まれていることが判明した。