Amonton's first law of friction