Full Proof (Explicit)

Letter to G (Explicit)