Angle addition formula without measures