PSA 3.7 (Explicit)

Proof (BONUS) (Explicit)