Anna Ayers proof