Amontons' third law of friction