finished collision-free proof