1.7 Hall定理