Hall theorem