Seidel's multiplication theorem