증명 한번 훑어보고 즉석에서 증명해내는 굇수들 존재하긴 함?