6.02 Angle sum and difference formula