An effective version of Faltings' product theorem | lit.salon