PROOF IN THE PRODUCT