Sophi XV -Proofs