Some stylistic preferences in Prod.v

Missing `Proof.` after this line.