HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by TomK32 | Hacker News Reader
Full thread
TomK32
·
a = b c = d
a + c = b + d a + c = a + c # replaced b with a and d with c
View on HN
pencil
·
oh ya..that looks like a formal proof!!!!!!!!!
Reply on news.ycombinator.com