By how much is 5 less than 9?