Proof of periodicity.
Consecutive collisions property.
fixing tiling ball.
Changing properties.