Condition for Commensurability of Roots of Quadratic Equation/Lemma