Actually state the right unify strong induction.

But the proof is cheated for now.