The third part is to proof theimpaction set is finite.Comparing Hamiltonian systems without impacts, we should use a technical codition.

• 相对于没有碰撞的哈密顿系统而言，我们为了证明碰撞点集是有限集而加入了一些技术性条件。