Faltings's product theorem