The Gabay-O'connor Theorem
で、検索してみ