King (Explicit)

Proof (Explicit)