Polish proof of Theorem 1