Talk:Ross–Fahroo lemma