Sonneman Proofs