Finally in 1983, Stanislav Žák achieved the same result with the simple proof taught today.
Cuối cùng năm 1983, Stanislav Žác đã chứng minh được cùng kết quả đó với một chứng minh đơn giản được sử dụng trong giảng dạy hiện nay.