Hacker News new | ask | show | jobs
by TomK32 5731 days ago
a = b c = d

a + c = b + d a + c = a + c # replaced b with a and d with c
1 comments
pencil 5731 days ago
oh ya..that looks like a formal proof!!!!!!!!!
link