滑る、滑らない、を数学的に完全に厳密に定義してみてくれたまえ。