A theorem stating that if A implies B is provable, a formula C exists using only common symbols. Both A…