Proving in quadrilateral (FLOWCHARTS)