제미나이가 그 밝혀진증명에 한해서는 그 증명들을 다 찾아낼수있음?