어떤 Lemma X를 세운 후 Lemma X가
참임을 가정하면 A <=> B가 성립함을 증명하였는데,

Lemma X가 아무리 해도 증명이 안돼서 결국 포기하고
다른방법으로 A<=>B를 증명했습니다.

그런데 이 A<=>B가 성립하는 것으로부터 Lemma X의 증명이 가능하단걸 깨달아버렸네요ㅋㅋ

이런 경험들 있으신가요? 근데 이게,

내가 능력이 부족해서 방법을 못찾았을뿐,
A<=>B를 가정하지 않고도 Lemma X의 증명이 가능한 건지

A<=>B를 가정하지 않으면
Lemma X의 증명이 불가능한건지

참 헛갈리네요

- dc official App