Formally prove that n2 = 12(n2 + 100) using the definition of S2(-). Formally prove that na = 12(n log, n + 100) using the definition of 120)