메인 검색 Proofs