AEとDFの垂直二等分線の交点Kがスタイナー円周上にあることを示すために、次の補題を証明する。各円の中心は同一円周上にある。これをスタイナー円という。