Added a theorem for asymptotic notation and arithmetic operations
Added a two more theorems about asymptotic notations