hadamard factorization theorem