Title: An effective version of Faltings' product theorem