[ new ] A couple of theorems about upper bounds