Angle sum property of a triangle by Radha