added justification for Halls theorem