직관으로 증명되어야 한다.