Angle sum of quadrilaterals