[태그:] 딥씽크-프루버-V2 수학 정리 증명