halls theorem