3+x=3+x도 항등식이지 - dc App
3=3도 항등식이고 - dc App
바보노?
0x 겠지 - dc App
그냥 3+0x=3+0x라 보면 됨 어떤 x를 대입하든 항상 같으므로 항등식
모든 항등식은 0=0으로 변형할수 있다
rfl
3+x=3+x도 항등식이지 - dc App
3=3도 항등식이고 - dc App
바보노?
0x 겠지 - dc App
그냥 3+0x=3+0x라 보면 됨 어떤 x를 대입하든 항상 같으므로 항등식
모든 항등식은 0=0으로 변형할수 있다
rfl