The proof of Lemma 5-1-5 in this 1987 paper by Kawamata, Matsuda and Matsuki https://projecteuclid.org/download/pdf_1/euclid.aspm/1525310275(link on Projecteuclid) seems to say that a variety with terminal singularities is $\mathbb{Q}$ - factorialfactorial ( I only need the case $ \Delta =0$ in which case, weak log terminal might be the same as just terimalterminal.). Does anyone know how to prove this, or a place where this is proved?