코베니가 이를 증명했다