所有権を手放すと、△ABC＝△DCAの証明をし、三角形の合同条件となる。