brauns conjecture