이 증명에서 gap이 뭐냐