약팀에서 증명하기엔 난이도가 너무 높긴하지