As far as I can tell, the statement is equivalent to "true" and you can strip quite a bit of information from it and still keep the point that it is true. It is somewhat confusing. Maybe the part (1+0=0+1) could be stripped so that statement would say "the hypothesis is true"? Or not. I don't know.