lemma x billgail