How do you use product to sum formulas to write the product 6sin15sin45 as a sum or difference?