Proof of Brunell: