Angle sum property of quadrilaterals