3.92 (Explicit)

Prove (Explicit)