error in Halls theorem