Точка B лежит между точками A и C тогда и только тогда, когда AB+BC=AC. Имеем:

AB+BC=5,3+4,4=9,7=AC, что и требовалось доказать.