Prov #1 (Explicit)

Prov #1 (Explicit)