Proving geometric properties