Proofs: Suzuki D