gronau'sconjecture