Angle sum property of a quadrilateral