No result about Holtzmanngilbert