하보크로 증명되었다