Proof of generic products