The factorization of the ninth Fermat number