added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v

added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v