DYADIC PRODUCT PROOFS