Conjugation of Proof

See: