| http://www.w3.org/ns/prov#value | - eredi-Gowers theorem from additive combinatorics. (The Balog-Szemeredi-Gowers theorem states, essentially, that if is a set such that a large number of the sums , fall within a small set (due to many repetitions), then has a large subset such that is small.) Since is a non-abelian group, we need a non-abelian result.
|
