SSA

exploring SSA

Do you think it is possible to prove "SSA" as a triangle congruence theorem?