Talk:Ross' π lemma