add theorom