Proof of theorem 40