SSA 全等的探讨