Theorem증명하는데 렘마만 10개이상 쓰는 증명 있나요??