The English proofs

9