[27Q]Addition is associative.
Consider
Obviously P(0) is true, moreover P(Sh) is proven (omitting ββn,mβββ) like this