Fixed broken proof

Thanks to Ramana for spotting this.