Circumcenter implies Tarski's postulate