ACとGO定理の同等性は不明