Talk:문제 1-1/@comment-26422455-20150530053711

상현이의 논리를 따르면 k=0 일 때 문제가 생긴다. x'=(x*1)' =x' *1+x*1' 여서 x'=0을 보이기 위해 x' =1'=0을 가정해야 한다. 그런데 귀납가정에 의해서는 1'=0 만 보장이 된다. 따라서 상현이의 증명은 k=0 일 때 부터 틀린 것이다.