Polarization identities

Summary