2+2=5 proven