Changed overloaded delta in theorem.