SSA Theorem