고이치가 증명