GREECE: bisectors'theorem