Kongruenzsätze, Dreieckskonstruktionen, Thaleskreis