[일반] 루딘이 연습문제 한문제가 한문제가아니네 사실상

[익명(118.235)]

한 문제 풀기위해

Lemma들 넷다섯개씩 설정하고 각각증명하고

Lemma이용해서 증명하니까

하나푸는데 개오래걸린다

- dc official App