Let and be subsets of . If ,
This statement was known also as -conjecture until H. B. Mann proved it in 1942.