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