걍 lemma들theorem과의 연결성 좀 겉핡기식으로보거나 대충보면 맞겠지하는 논문도 계산 하나하나 따져가면서 보면 사소한 실수같은거 보는경우 꽤 보이고 수식한줄이 완전 이상한 유도인 경우도 가끔씩 보이는데 갤러들도 이런적 있음? 있으면 이런거 어떻게 받아들임?