(a+b)(a-b) identity proved