最小划分

对于 {3,...,n} = A ∪ B 的任何划分，方程 x*y = z，其中 x,y,z（不一定不同）全部在 A 中或全部在 B 中始终有解。