Page "Weighted EGZ theorem" not found :(