Prove (Explicit)

Prove (Explicit)