Quadrilaterals angle sum property