quintuple product identity